Prove if a is rational and ab is irrational then b is irrational